TAGs: convert mixed numbers